Inductive Proof Method for Computational Secrecy Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell Department of Computer Science, Stanford University Abstract. We investigate inductive methods for proving secrecy p

Source URL: seclab.stanford.edu

• Cryptography
• Authentication protocols
• Computer network security
• Ciphertext indistinguishability
• DolevYao model
• Advantage
• Kerberos
• Cryptographic protocol
• Security parameter
• XTR
• Challengeresponse authentication
• Security protocol notation

Analysis of EAP-GPSK Authentication Protocol John C. Mitchell1 , Arnab Roy1 and Paul Rowe2 , Andre Scedrov2 1 2

Source URL: seclab.stanford.edu

Secrecy Analysis in Protocol Composition Logic? Arnab Roy1 , Anupam Datta1 , Ante Derek1 , John C. Mitchell1 , Jean-Pierre Seifert2 1 2

Source URL: seclab.stanford.edu

• Authentication protocols
• Symmetric-key cryptography
• Computer network security
• IP
• Kerberos
• NeedhamSchroeder protocol
• Cryptography

Secure Protocol Composition Anupam Datta John C. Mitchell Ante Derek Dusko Pavlovic

Source URL: seclab.stanford.edu

• Cryptography
• Key management
• Shared secret
• Cryptographic protocol
• Challengeresponse authentication
• Key-agreement protocol

Object Capabilities and Isolation of Untrusted Web Applications Sergio Maffeis Imperial College London John C. Mitchell Stanford University

Source URL: www.doc.ic.ac.uk

1 TOWARD A THEORY OF SCHIZOPHRENIA by Gregory Bateson, Don D. Jackson, Jay Haley, and John Weakland, Veterans Administration Hospital, Palo Alto, California; and Stanford University Behavioral Science): 251-25

Source URL: solutions-centre.org

An Operational Semantics for JavaScript Sergio Maffeis1 , John C. Mitchell2 , Ankur Taly2 , 1 2 Department of Computing, Imperial College London

Source URL: seclab.stanford.edu

CURRICULUM VITAE: JOHN R. RICKFORD (OctoberProfessor, Department of Linguistics J.E. Wallace Sterling Professor of the Humanities Pritzker University Fellow in Undergraduate Education Stanford University, Stanford

Source URL: www.johnrickford.com

Toward Principled Browser Security Edward Z. Yang1 Deian Stefan1 John Mitchell1 David Mazi`eres1 Petr Marchenko2 Brad Karp2 1 Stanford University 2 University College London A BSTRACT To ensure the confidentiality and in

Source URL: www0.cs.ucl.ac.uk